computational theorems - German English Dictionary